1

Observational trees as models for concurrency

Année:
1999
Langue:
english
Fichier:
PDF, 327 KB
english, 1999
4

Prefix–suffix square reduction

Année:
2016
Langue:
english
Fichier:
PDF, 502 KB
english, 2016
6

Models of Nondeterministic Regular Expressions

Année:
1999
Langue:
english
Fichier:
PDF, 350 KB
english, 1999
7

Enriched categorial semantics for distributed calculi

Année:
1992
Langue:
english
Fichier:
PDF, 1.60 MB
english, 1992
8

Conduché property and -based categories

Année:
2010
Langue:
english
Fichier:
PDF, 1.07 MB
english, 2010
9

Categories enriched on two sides

Année:
2002
Langue:
english
Fichier:
PDF, 330 KB
english, 2002
10

Categories with sums and right distributive tensor product

Année:
2003
Langue:
english
Fichier:
PDF, 184 KB
english, 2003
11

Nondeterministic regular expressions as solutions of equational systems

Année:
2003
Langue:
english
Fichier:
PDF, 211 KB
english, 2003
12

Tree Morphisms and Bisimulations

Année:
1998
Langue:
english
Fichier:
PDF, 1.05 MB
english, 1998
13

Process synchronisation as fusion

Année:
1996
Langue:
english
Fichier:
PDF, 983 KB
english, 1996
14

Superposition Based on Watson–Crick-Like Complementarity

Année:
2006
Langue:
english
Fichier:
PDF, 252 KB
english, 2006
15

Generalising Conduché’s Theorem

Année:
2011
Langue:
english
Fichier:
PDF, 354 KB
english, 2011
17

Pointed pictures

Année:
2007
Langue:
english
Fichier:
PDF, 256 KB
english, 2007
18

Spatial and temporal aspects in visual interaction

Année:
2012
Langue:
english
Fichier:
PDF, 1.06 MB
english, 2012
23

Tree-functors, determinacy and bisimulations

Année:
2010
Langue:
english
Fichier:
PDF, 535 KB
english, 2010
26

Networks of polarized multiset processors

Année:
2016
Langue:
english
Fichier:
PDF, 587 KB
english, 2016
31

Reaction systems with influence on environment

Année:
2019
Langue:
english
Fichier:
PDF, 2.57 MB
english, 2019
33

Preface

Année:
2002
Fichier:
PDF, 20 KB
2002